Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
101	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
102	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
103	The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637. Add to Reading List Source URL: people.linguistics.mcgill.ca Language: English - Date: 2012-07-11 18:04:53 Geometry Mathematics Mathematical optimization Linguistics Optimality theory Phonology Phonotactics Linear algebra Hyperplane Feasible region Arrangement of hyperplanes Modal logic
104	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
105	LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:42 Model theory Interpretation Substitution Compactness theorem Linear temporal logic Differential forms on a Riemann surface
106	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
107	A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2009-07-30 04:03:12 Philosophy Logic Abstraction Philosophical logic Axiom Constructible universe Epistemology A priori and a posteriori Linear temporal logic
108	Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013 Add to Reading List Source URL: anna.fi.muni.cz Language: English - Date: 2013-01-17 12:35:21 Software Model checking Computing Linear temporal logic Temporal logic Bauch LLVM Parallel computing Formal methods Model checkers
109	A DAPTIVE S UBMODULAR M AXIMIZATION IN B ANDIT S ETTING V ICTOR G ABILLON , B RANISLAV K VETON , Z HENG W EN , B RIAN E RIKSSON , S. M UTHUKRISHNAN Our approach: Mimic the greedy policy π while learning P (Φ). Add to Reading List Source URL: victorgabillon.nfshost.com Language: English - Date: 2013-12-03 06:27:42 Mathematics Mathematical analysis Algebra Distribution Number theory operator Linear temporal logic
110	On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2007-04-26 11:13:50 Quantum mechanics Position operator De BroglieBohm theory Laws of science Computability theory Linear temporal logic Redescending M-estimator

UPDATE